Une méthode de formalisation progressive des exigences basée sur un modèle simulable
نویسندگان
چکیده
RÉSUMÉ. Les exigences d’un logiciel, souvent rédigées en langage naturel, sont à la base des phases de conception et de test fonctionnel. Le langage naturel est par nature ambigu, et les exigences peuvent donc être différemment interprétées lors de la construction et de la validation du logiciel. C’est pourquoi nous proposons une méthode de raffinement progressif des exigences vers des modèles dont la sémantique est connue. À partir d’exigences en langage naturel contrôlé, nous proposons tout d’abord de générer un modèle fonctionnel simulable basé sur les cas d’utilisation UML ; la simulation permet l’amélioration des exigences et peut aussi servir de base à un mécanisme de génération de tests. À partir des exigences ainsi améliorées, nous proposons également la génération d’une ébauche de modèle statique.
منابع مشابه
Méthode de conception d'une base multidimensionnelle contrainte
Résumé. Ce papier présente notre méthode de conception de bases de données multidimensionnelles (BDM) contraintes. Nous proposons une méthode mixte basée sur une démarche descendante et une démarche ascendante. La démarche descendante est composée de trois étapes: la collecte des besoins des décideurs, la spécification et la formalisation de ces besoins suivant un modèle multidimensionnel en co...
متن کاملComparaison du modèle vectoriel et de la pondération tf*idf associée avec une méthode de propagation d'activation
RÉSUMÉ. L'objet de ce papier est de montrer qu'il est possible de mettre le modèle vectoriel et la pondération tf*idf associée en correspondance avec le calcul d'une résonance dans un réseau associatif basé sur une méthode très simple de propagation d'activation. Nous décrivons un réseau associatif associant termes et documents puis un calcul de résonance entre une requête et un document dans c...
متن کاملConception assistée d'une ontologie à partir d'une conceptualisation consensuelle exprimée de manière semi-formelle
Résumé : Cet article présente une méthodologie assistée de conception d'une ontologie à travers trois méthodes, soit une méthode d'élicitation des connaissances d'un domaine résultant en un modèle semi-formel de ces connaissances, une méthode de formalisation conduisant à la production d’une ontologie et une méthode de validation syntaxique et sémantique de l'ontologie. Les processus de formali...
متن کاملMaladies contagieuses non parasitaires-sur une nouvelle méthode de vaccination contre la pasteurellose des bovins et des buffles
متن کامل
Apprentissage de représentation pour la détection de source dans les réseaux sociaux
RÉSUMÉ. Récemment, divers travaux se sont interessés à la détection de source de diffusion dans les réseaux sociaux : il s’agit de déterminer l’utilisateur à partir duquel une information propagée a initiallement été émise. Dans cet article, nous proposons une nouvelle méthode pour la détection de source de diffusion, basée sur des techniques d’apprentissage de représentation. Plutôt que de s’a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- L'OBJET
دوره 11 شماره
صفحات -
تاریخ انتشار 2005